@echo Running test programs...

XVM.exe rt01.xrt
XVM.exe rt02.xrt
XVM.exe rt03.xrt
XVM.exe rt04.xrt
XVM.exe rt05.xrt
XVM.exe rt06.xrt
XVM.exe rt07.xrt
XVM.exe rt08.xrt
XVM.exe rt09.xrt
XVM.exe rt10.xrt
XVM.exe rt11.xrt
XVM.exe rt12.xrt
XVM.exe rt13.xrt
XVM.exe rt14.xrt
XVM.exe rt15.xrt

@echo done.